Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis
نویسندگان
چکیده
منابع مشابه
Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis
Program comprehension and reverse engineering are two large domains of computer science that have one common goal – analysis of existing programs and understanding their behaviour. In present, methods of source-code analysis are well established and used in practice by software engineers. On the other hand, analysis of executable code is a more challenging task that is not fully covered by exis...
متن کاملBinary Translation: Static, Dynamic, Retargetable?
Cristina Cifuentes Department of Computer Science The University of Queensland Brisbane Qld 4072, Australia [email protected] Vishv Malhotra Department of Computer Science University of Tasmania Hobart Tas 7001, Australia [email protected] Abstract The porting of software to newer and faster machines using static binary translation techniques has proved successful to a large extent. Curren...
متن کاملHybrid Static/Dynamic Activity Analysis
In forward mode Automatic Differentiation, the derivative program computes a function f and its derivatives, f ′. Activity analysis is important for AD. Our results show that when all variables are active, the runtime checks required for dynamic activity analysis incur a significant overhead. However, when as few as half of the input variables are inactive, dynamic activity analysis enables an ...
متن کاملAn Executable Intermediate Representation for Retargetable Compilation and High-Level Code Optimization
Due to fast time-to-market and IP reuse requirements, an increasing amount of the functionality of embedded HW/SW systems is implemented in software. As a consequence, software programming languages like C play an important role in system specification, design, and validation. Besides many other advantages, the C language offers executable specifications, with clear semantics and high simulatio...
متن کاملStatic Detection of Malicious Code in Executable Programs
In this paper, we propose a new approach for the static detection of malicious code in executable programs. Our approach rests on a semantic analysis based on behaviour that even makes possible the detection of unknown malicious code. This analysis is carried out directly on binary code. Static analysis offers techniques for predicting properties of the behaviour of programs without running the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica Pragensia
سال: 2013
ISSN: 1805-4951,1805-4951
DOI: 10.18267/j.aip.10